fix #256 (hopefully)