Several bugs are fixed.