[Spec] Expect what is documented to happen

Thanks @segiddins.