Fix minor formatting issue