Forgot to remove some debugging code