BUG FIX: 32 bit vectors converted as 16 bit vectors in ridge traversal