Are these debugging lines, here and below?