It's fine in my doxygen (1.8.3.1).