fixed a formatting problem