The Geoportal is not accurate for Velebit in some cases. HGSS maps are the latest verified and published mountain maps in Croatia.
Zoranićev vrh is the correct name; West Babin vrh is to the north. The HGSS map is the correct one in this case.
The Geoportal's layer contains inaccurate old data from from 60's and 70's.

This is incorrect. Debelo brdo is 1597 m high peak, 400 m on SE (SE ridge of Višerujno). This peak is Višerujno, the highest peak.
Sources:
1. https://www.hps.hr/hp-arhiva/197603.pdf (page 73)
2. https://www.hgss.hr/kartografija/ (map 18, NP Paklenica)
Please revert this change.

This peak is not Debelo brdo, but Višerujno.