Run scalariform-format, which apparently tweaks some whitespace.