This release contains minor user-interface improvements: