Fix the string formatting docs for now; if the feature is changed again, the docs can be changed too.