Minor fix for ssh banners