cosmetics in example event handler