Right, fix documentation heading tags now.