(#3541) Document improved error message.