Forgot some unwanted debug prints