Minor debugging correction.