2011/8/15 Gabriel Redner <gredner@gmail.com>

Indeed, that patch fixes the problem.  Thanks!  Is there a ticket
filed about this problem?