Another minor fix in floAuction.java