To my knowledge you are correct. And the reason those books had to be re-introduced was because the Church had destroyed almost all of the copies they could find. (Some were kept, buried deep within the Vatican, where good Catholics would not be able to read them and get "wrong" ideas.