Report options errors in REPL UI

Fixes #1229
done