Trivial change to help Ubuntu users who are unfamiliar with Fedora device names