workaround to fix #415