Patches update specs, improving readability

By repairing mistakes in wording of some tests