Bug#876966: marked as pending in ben

[Christoph Berg]

Re: Mehdi Dogguy
> Bug #876966 in ben reported by you has been fixed in the
> Git repository and is awaiting an upload. You can see the commit

I pulled scripts.js manually and change works nicely. Thanks!

Christoph