Missed a file for commit; fix Fedora warning. #3494