fixing typesetting