changed typesetting