checkpoint4: small stuff, mostly typos