another minor formatting issue