More minor changes to documentation