a minor usability change