Added some user-defined options.