This is to clarify the code. No actual effect at the moment, but I manually verified this in the case of identical types.