workaround, fixes #9