fix the typesetting problem