fixed typesetting problem