Minor bugs corrected.