I !@#$% found it! ssh-keygen -R hostname OK, be sure to mention that (as one of the things one can use) in the error message! In fact mention a command that just updates it, so the next time one does ssh, one won't see any messages.