workaround to fix #68