Fix duplicated name (#638)