oops, removing all my debugging printfs...