zlumer: added distinct() helper function