#4632: Remove debugging lines.