Use REPLDisplay instead of TextDisplay. See #125