Minor changes to file