Minor changes to documentation header