Small bugfix in trans/boot.leave