version 1.3-1

a bug fix, just a better error message in a corner case