fix a bug in read_notification
fix a bug in read_notification

Ignore-this: d03c7850b48ae8791651a03a308722cc

darcs-hash:20101101165835-c41ad-3f31fe6f665211803b6e388e748db667577e30f4.gz

avsm/lwt-OLD,avsm/lwt-OLD