Minor fix of bug noticed during inspection.