one more doc fix [build-doxygen]