Many bugs are now fixed.