fixed a formatting bug