Oops, remove some debugging output