Fix typechecking problem
Merge pull request #1 from Blaisorblade/master

Fix typechecking problem