Minor fix (forgot to remove a debugging print statement)