(Very belated): Doxygen comments should go in the headers.