Removed a pair of dead lines in distinct()