Fix typo, clarify unary negation rules