It looks like it was made a synonym, but not merged. I've merged them.

![][1]


  [1]: https://i.sstatic.net/rWAIS.png