I looked at the source code; that's how I spotted its bugs, including the one above. :-)