This debug-printf is not supposed to be here