Minor bugs fixed, design improved.