fix a formatting bug