Filed as: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=8584

Happy hacking,
Debarshi