Minor doc update following #2