fix #12 (sorry!)