Merge "Fix docs build failure."