Casper.rst: typo satisfief -> satisfied

Just a small typo fix