Add a couple of missing files