Small change to aid debugging