Better error messages, fixed \!isup