Assertion on operators improved in message clarity