Made slight changes in source code that led to an infinite loop.