Tiny change, making debugging easier