A better logic for the language matches, r=humphd