workaround of issue #3