Update knownProblems.txt