HTML input now is actually used in a submission.