Good point, only one relabel is necessary.