Fixed indentation

Indentation was previously mostly tabs, with an unpleasant mix of spaces
at some parts. Now it has been changed to four whitespaces only.