InputElement->Input
Range rename.
Minor.
Code contracts