"make format" changes forgotten in the previous commit.