Minor bugs are fixed.