Remove some debugging prints