this was fixed (hacked around) in the previous commit