As I said, I'm fine with removing it, but a formatting commit seems like the wrong place to do it.