Indent everything with spaces

There were lines indented with spaces, lines indented with tabs and lines indented with a mix. This PR changes all the tabs to spaces.

This is not a major issue, but I think it's better to have consistent indentation.