Remove forgotten debugging prints