Yep. These were automated fixes. I'll tidy them up.