Fix intermittent javascript failures in PR script.