[20]: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=17675#20
[35]: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=17675#35