Fixed small typo in duplicate symbol post