Minor commit: deleted some debugging lines.