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