fix aliasing