[mik4@gmx.ch - Tue Jul 15 11:22:41 2014]:

> <div>I hope that this is enough information to find the bug.</div>
> </div></div></body></html>

The bug was already fixed in the development master branch in:

commit 4d3827ac1b0e9e6447a132c57f3e2d74d3dfe8a9
Author: Greg Hudson <ghudson@mit.edu>
Date:   Thu Oct 17 14:02:14 2013 -0400

but that change has not been picked back to either the 1.12 or 1.11 branches.