0.1.3: better errors