workaround for issue #59