Fix doxygen header/footer.