resolving bugs detected by kees and other bugs