Add quotes about property based testing