One more documentation change