ADDED: most recent version of microtype