diff -r 2b91abd9f5a4 -r 1fbcf202882d web/formwidgets.py
--- a/web/formwidgets.py	Mon Jun 29 14:12:18 2009 +0200
+++ b/web/formwidgets.py	Thu Jul 02 10:35:03 2009 +0200
@@ -231,6 +231,7 @@
     """
     type = 'radio'
 
+
 # javascript widgets ###########################################################
 
 class DateTimePicker(TextInput):