indentation from spaces to tabs (cf Lea Verou's point of view on the issue)