Minor changes to Boxfile: