Fixed a minor problem with a 'doxygen' comment.