Fix a small typo

By the way, why do you use such strange indenting inside this section?