WINTERMUTE: Fix up doxygen comment