Fix incorrect pointer type in case writeback.