Fix typesetting problem