No objection - I was mostly reviewing this as formatting-change-only commit.