modify text.rkt