<div dir="ltr">​No need to answer; I just found the answer:<div><br></div><div><a href="https://bugzilla.gnome.org/show_bug.cgi?id=712182">https://bugzilla.gnome.org/show_bug.cgi?id=712182</a><br></div><div><br></div><div>Thanks!</div></div>