Fix: Avoid useless aliasing