<div dir="ltr">Two patches attached (are github pull requests more convenient for you?)</div>