Oy. Hadn't noticed that. Sure, make it a separate commit or don't bother. Either way is fine with me. :)