minor additions and formatting