Is this string not already translated by Django?