doxygen: squashing as many warnings as possible.