Updated modulo.spec.
Updated spec.