One more tiny documentation update