SQUASHME: fix doxygen warnings