On Roberts' proof of the Turaev-Walker theorem