Forgot to remove a debugging printout.