[#3028] Like last commit, but missed a file.