One more documentation fix.