String encoding uses ':' instead of "'".