<: could be a digram - fix tinderbox.

Change-Id: I128d6912ce556cfc17c38ed51267fc965c384fea