Fixing bad string formatting. Fixes #17251