I'd also grease the bolt lugs, the tail of the firing pin, the operating rod spring guide, and the web of the receiver. Also a drop of oil on the hammer/sear, pivot pins for hammer and sear and trigger.
------------------
Vigilantibus et non dormientibus jura subveniunt