Add missing files from the last commit (trivial).