issue #3 seems to be fixed