doc update for #3269