Fixing duplicate symbols