Removed debugging statements added when investigating the bug mentioned in the previous comment.