[2.1.1.5.1] Fix a formatting mistake.