Removed some debugging code.
Located bug, added relevant details in notes.
Added an example given by Shibashis, which should not terminate but
does terminate.