fix a weirdness causing build problems downstream