One more documentation correction