It's relatively stable now. Also fix a typo in an unrelated place (better not waste commits on typos).