fix another formatting issue