Fix a typo in std::ops documentation