Update Control.v

just endentation.