<div dir="ltr">Sorry the patch in the original bug report was incorrect. I've attached the right one</div>