Dec 11: more corrections done