Fix typesetting error