Avoid some lint complaints.