Fix doc for strcmp