Also in section 5, step 7... [[The event uses the ReceivedEvent interface described below.]] But the ReceivedEvent interface is described *above*, in section 4.5. -- jst