Thanks Eli; that fixed the bug for me (patched manually to trunk in my
checkout).
Does the emacs bugtracker allow the reporter of a bug to close it as fixed?
 I can't find any status toggles on
http://debbugs.gnu.org/cgi/bugreport.cgi?bug=13108