Pre/post-conditions of a spec appears only after a key stroke

[scmu]

Load (ctrl-c-l) the following file:

con A : Int 
var r : Int 

?
{r = A}

The pre/post-conditions (in grey text next to the created [! and !] brackets) do not appear immediately after loading. They would show up after the user press any key that modifies the text (e.g. space, alphabets, etc).

This happens only to specs created by loading (ctrl-c-l), and not to specs created after refining (ctrl-c-r).