Fix vma allocation