trivial doc update