Fix faulty formatting