fixes #9 (hopefully)