Fix example in documentation of target triple sanitization.