A patch for this has already been submitted, at 
<https://debbugs.gnu.org/cgi/bugreport.cgi?bug=49451#32>.