Change documentation comments’ style

More of commit 0406e3dca57d06389db85ff75e6c235e8cfe6320.