Oops, removed a printf debug line we don't need.