an obvious build-error fixup