fixed 2-year-old bug -- noone noticed