• Typo + slight re-wording

    felixrabe committed Aug 1, 2018