workaround to fix #1340