fixes #89 -- thanks for reporting!