I think that `errno()` returns a positive number, so this will just report a shorter read when you hit an error.