Corrected symbol offset calculation in publicize()