Oops, remove some mistakenly left in debug prints