Formatting fixes for Crelle