Added Opt.toString for debugging readability