Work around illegal class names in the REPL
Test for #29.