<div dir="ltr"><div>This patch is from Michael Muller.</div><br></div>