issue #30 is now fixed