Documentation update and formatting fixes