Well one can discuss if it should be used as a name, but according to the official swiss maps there is a peak with this altitude at this point which is only marked with the altitude, so I would personally not see this as wrong.