debugging lines (for now)