A small debugging cleanup