Expiry rule for NKY options was not correct