Some markup and code formatting fixes