Minor semantics fix