<div dir="ltr">This fixes a little problem. I thought we fixed it before, but there was still an inconsistency that showed up when starting unzoomed and then zooming in or out.<div><br></div></div>