tweaks to correctness of rowan's semantics