Formatting

Struck out the word "mangler", which somehow unstruck itself. Coincidence? No.