I think maybe we can print a better error message here -- let me see if I can write a quick patch