eventchn: tidy up interface again