Options

Minor bug