very minor changes
Removed auxiliary files