Fixing broken link to Doxygen page