Tweaking comments for doxygen: