Fix Doxyfile, oops
Add a missing convenience function