Updated some docnames & added newlines to EOF