Do not use explicit casts to str