Update: works typesetting