Removed debugging code for issue #602.