fix a formatting