Fixed *not* getting incorrectly rendered as not* by doxygen.