Merge pull request #299 from jankoboehm/spielwiese

Fix for option bug in standard.lib