Another tiny doc adjustment