DEV: Make rubocop happy. (PR #13831)

GitHub