Update modulo.spec