Minor debugging #7