Fix some headers in documentation