workaround for issue #4