workaround #3