Module spec_utils updated