fix example broken by changes in operational semantics