Fixed some headers in the documentation files.