remove HTML5 required attribute; closes #748