minor updates in the file