Corrections to files included in repo