Prelude: fix typoes in doc