Fix small bug in Options