deleted boxfile, not necessary here