A new version that fixes some minor but sometimes annoying bugs.