bigfix fixes #19