Trivial edits to OQUM Ch1-3