workaround #1