Lint fixes per #13773