last trace of our console.writelines for debugging purposes, I hope