Remove a bit of senseless repetition.