cosmetics: print a decent error message when disconnected.