pc_align: Minor notation change