Fix typesetting.