Edited string documented in #7554