<div dir="ltr">Trivial patch attached.</div>