Indentation fixed in previous commits.

Authored by fkristof on Oct 24 2017, 8:31 PM.