<div dir="ltr">Patch attached because I don't trust gmail to not mangle it.</div>