I was actually looking for a ticket for this change... This sneaked in accidentally, trying to see if we can make "git checkout branch" work flawlessly. This change seems to help when the name of a class changes between branches. But this should be a separate PR, so I'll remove this line.