Improved example code in Option