Fix typo in symbols.scrbl