Just formatting fixes [925]