scribble-doc/scribblings/scribble/core.scrbl: fix typo #219

Closed rrthomas closed 4 years ago