fix a type - noted by Ralph Graulich on -www...