oops, remove debugging printlns...