Work around Doxygen shortcomings