Fixing missing indentation

Somehow three lines either were missed, or somehow mucked up in the copy.