Fixing a heading in the docs