Removing double tabs inserted due to my editor's retarded tabsize=4 setting.