one little fix; also removed one debug message.