fix stupid formatting issue