fixes #15: Options and values can now be different