Minor changes to main document