And fix a formatting issue