One more little fix for the docs.