Ugly implementation of local options.
Fixes #9