Update KNOWNBUGS