Fix formatting (again ...)