fix another allocation of wrong type