better error message for #80