yes; I did a push --force with the fix included