Small semantics mistake fixed