Forgot to remove some debug printing