oops, forgot to remove debugging output