Can't we produce a better error message?