Minor fix again...

... sorry, coding without syntax color...