Bugfixes; in particular, checking out now clears focus