Lint fixes per #13667