fix #12
moved to the issue tracker