Fixes #7

Thanks to @jlegewie!