fixed according to Gerd's suggestion