Fixed bug: about satisfies.
Fixed typo.