fix some debugging code I left in