workaround for issue #9