[dox] fix filename in doxygen header