Very minor improvement of strings.xml