Fix minor raised by Jack in pull #6.