whew... Fixed doxygen ascii art.