Restore a </form> tag mistakenly removed in 260239e