fixup of ssh-lab