One more little documentation update