FIX: bug in event.fprintf