minor updates and formatting