Fixed formatting

The last change had a formatting problem.