Unrelated to changes, but no problem having them there (i.e. if you want 'em, split out to a separate cosmetic commit).