checked the bugpatching code, with a simple test on its result. Wheeeuwww