Just a tabs intendation fix

and a test of github's edit feature)