prevent duplication when two parent classes have instance members with identical names (#613)