Forgot to format auction.tin.