fixup! added documentation for having clause