Remove some debugging print out