neo_doxygen: Fix a forgotten warning.