fixed a formatting error