Minor detail: duplicated in both brances.