Fix bug which allows users to overwrite default options..