fixed a couple of typesetting errors