Lint fixes per #13039