Small changes to Main tex