Fix stupid redundant allocation
Thanks a lot to Jan for pointing it