Missed this file for bug #7938.