Oops, remove some debugging code