small update for typesetting