Fix typesetting