fix a formatting issue