doxygen: improve documentation