oops, forgot to remove some debug code