Re https://www.openstreetmap.org/node/13307948976 https://www.openstreetmap.org/node/13307948977 https://www.openstreetmap.org/node/13307948978 , is that actually their name? E.g. no "Yau Ma Tei" in front?