Typo in docs: satiesfied -> satisfied