Lint fixes per #13553