Fix several constructors.

"is/was supplied/specified" is different from "is not undefined" which
is used in most of the spec.