Re #7694. Fixed RuntimeError message.