in case of a tie, choose the shorter name