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