[sr-dev] git:master: core: Correct an error in doxygen comments.