More minor changes to docs