Completes more incomplete specs, more possible errors are resolved.