add note on duplicate symbols