Add forgotten files to the repo