typesetting fixes