Minore changes to documentation