Tie up some loose ends related to Avramov's theorem