*8674* Undefined variable; translation of default option