I didn't think it was important, @chikoon, certainly not enough to block the merge. But it's the kind of thing I'd like someone to point out to me in my own PR because I'm a tidiness freak and I'd see it later and feel embarrassed. :)