fixed a bug with auction.tin.