Slightly reformatting for doxygen