Fix incorrect sized alloca