Minor changes to documentation