Indenting correction and line restoration. (No idea what happened there.)