(at a minimum this could be private and done automatically by addFile)