I think that was Uncrustify's fault. I did not make that change manually.