Fixes an aliasing error