Ooops, found a bug in Imprimatur 010. Released Imprimatur 011.