minor formatting issue