minor semantics change