Another slight doc update