Fixup for 0a0e25f6 : added "*", so @todo gets recognized by doxygen