Minor fix in UNav3D