fix #13 : convert some spaces to tabs