fixes #7: more specific error messages