More documentation changes

Fixed mistake in previous commit