adds spec for non-negative min/max length