Minor fix-up to text minutes from 2013-05-14.