Minor debugging changes are committed...