fix #31 (hopefully)