Made the defect checker happy.