Fix too aggressive text replacement in docs.