Typos, style, small corrections, distinguish "0" from "o"