There is no need to get both the key and the value out of the dict if the key is not used, so use dict.values() instead. Signed-off-by: Peter Korsgaard <peter@korsgaard.com>