Fixed formatting issue pointed out by a commented