Fix indentation error flagged by coverity.
Merge pull request #878 from hildeth/fixCoverity1255043

Fix indentation error flagged by coverity.