Re-add fun.label