Fixed issue #123: sort device profiles alphabetically.