Fix an aliasing violation