Fix a bug caused by accidental indentation...

...ironically by trying to follow a coding style.