Minor fix from RobG