Closes #3675. Remove duplicate symbols