add workaround to fix #2