Correct some indentations (tabs -> spaces) introduced by Eclipse.