Small fix for the shellcode wrapper -- it should not matter much in practice