@@ -14 +14 @@
-<gloss>be punished</gloss>
+<gloss>to be punished</gloss>

Yes, they should. Done.

Jim, in Tatoeba there are
 18 罰せられる
 12 罰せられた
  1 罰せられず
  1 罰せられて
  1 罰せられ
  1 罰せられます
that are tagged 罰する
Maybe they should be retagged 罰せられる?

Thanks, that was interesting.  I think the entry can go through now, though.

daijirin (られる):
サ変動詞に接続する場合、「出席される」のように、未然形のうち、「さ」に「れる」が付くのが普通であるが、書き言葉でのやや改まった言い方では、「出席せられる」のように、未然形のうち、「せ」に「られる」が付くこともある

http://nihon5ch.net/contents/bbs-study/old/mie-bbs.cgi?s=29
apparently more common to use it that way for the vs-s verbs that are っする???
きっと、国文のかたにいわせると、
「せられる」が正式形で
「される」が簡便形だというと思います。
もともと、サ変の未然形は「せ」が正式形で、以下のように移行しました
(する) 「せられる」→「される」(現在サ変)
(愛する) 「愛せられる」→「愛される」(五段化)
(信ずる) 「信ぜられる」→「信じられる」(上一段化)
(達する) 「達せられる」→「達せられる」(古典サ変のまま)
語尾が、「する」「うずる」「んずる」「っする」という音韻的な
要因により、その後の活用形が分岐したのでしょう。

@@ -12,1 +12,1 @@
-<s_inf>irregular form of 罰する</s_inf>
+<s_inf>irregular passive form of 罰する</s_inf>