Use spaces instead of spaces and tabs

Issue #746 hasn't still attracted any discussion, but it's generally considered bad practice to mix spaces and tabs.