Some bugs are now fixed.