Fix duplicate identifier compiler error