remove debug code (fix #3)