fix #839 (hopefully)