fix #15 (patch by @phoenixsong6)