Fixed a formatting problem in 3.5.1

I found a formatting problem in 3.5.1 and fixed it.