Casper.rst: typo satisfief -> satisfied