Minor changes to Boxfile