On Grothendieck's construction of Teichmüller space