Some minor bugs are fixed.