Fixed bug in match_triple. Thanks to Franck Falcoz <franck@dtv.dk>.