Removed some debugging code that was used to fix the dreaded #14.