Fix a typo in Barry's checkin.
Reported both by Gerrit Holl and Mark Favas.
1 file changed