Cima Rocchetta, ponekod na smernih tablah in zemljevidih menovana Cima Giochello