string-matching: add a conclusion so it doesn't finish to abruptly