minor revision to options