Thanks for confirming, I’ll go ahead and add the alternative name given it was previously the official name and may still catch people out.
Give it about a week for these changes to go through, but then Waze should be much better at helping people navigate the area. Afterwards you would need to clear your device cache to benefit from the updates: https://tinyurl.com/WazeClearPlaceCache
Your report has helped improve the map for the many other Wazers out there. Please keep on reporting map issues you encounter so we can keep the Waze map amazing! Have you considered becoming a map editor? More details here: http://bit.ly/WazeEditOz
Happy Wazing!