Minor bugs repaired.