small bugfix from last checkin