Fix errors in copying and pasting from docs.
Fix errors in copying and pasting from docs.

HypothesisWorks/HypothesisWorks.github.io,HypothesisWorks/HypothesisWorks.github.io,HypothesisWorks/HypothesisWorks.github.io,HypothesisWorks/HypothesisWorks.github.io,HypothesisWorks/HypothesisWorks.github.io