Proper handling of SSH host identification error