woops...that could be a pretty material error for someone who was trading based on the notes expiring...not that the price has changed a great deal anyway.