Upgrading Trantor to version 1.2 by neomohist.