Hello Rodrigo, in general, to be on the safe side, after `guix pull`, you can open a new shell/terminal so the new guix actually gets used. This probably is no longer necessary or at least `guix pull` tells you to run `hash guix`, but I believe it is what has happened here.
Regards, Florian
