semantics tweak