fixed for semantics