Bugfix OpaqueOption.toString()