small updates to semantics