Try to fix the horrendous formatting (again!).