Clean up whitespace

Although the source code uses space characters for indenting, some lines contain tab characters. Clean up these lines.