The bug was a numerical error that would cause cats to drink something like the equivalent of a pint of beer for every lick, and therefore die prematurely. He talks about it in this video:

https://www.youtube.com/watch?v=VAhHkJQ3KgY