correct typechecking fixes #2
0.1.2