#478: Minor doc edit