Another minor formatting issue