Repairs two specs

Repairs two failing tests:

One due to a typo, the other asserts something contradictory to a previous spec.