Fixed a typo; added HAVE_DOT to Doxyfile