Fix minor Doxygen issues

Authored by yurchor on Jan 11 2019, 1:12 PM.