added documentation for having clause

typo: ``satisfy``