While looking for the source of oil that's been oozing down the left front of my engine, just above the alternator, I discovered this:

Two timing chain cover bolts (7 and 9 in the tightening sequence) were unscrewed pretty far. I screwed them back in and torqued them to spec. I don't know how they got loose.
Has anybody ever seen this happen before? Could they have vibrated loose like that? I know I never touched them, and I've never had a mechanic do anything in that area.
Furthermore, is that stud just below the rightmost circled bolt, the one just above the radiator hose, supposed to have a nut on it?