0.9.4.2: fixes for issues that affected a minority of users