Tiny tidying in SelectBestParse.