"Updated modulo.spec from test."