Fixed namespace for e2.12
e2.17 in racket
e2.18 in racket