fixed proc-val case of mark to mark the ref