fixing typos in worksheet scrbl specs