Testing : Fixing comment for existing defspec.

Now, the property-based test should run without error.

--Tom