Minor debugging code addeed.