fix things that doxygen got confused about