Add a Doxygen tag that I missed, no functional changes.