Make doxygen happier.