Follow-up patch fixing Doxygen errors introduced by the bug fix.

Reviewed-by: Gopal Shankar <gopal.shankar@oracle.com>