Index: ajax_comments/ajax_comments.install
===================================================================
--- ajax_comments/ajax_comments.install (revision 12)
+++ ajax_comments/ajax_comments.install (working copy)
@@ -2,7 +2,7 @@
 
 /**
  * Implementation of hook_uninstall().
- *
+ */
 function ajax_comments_uninstall() {
   variable_del('ajax_comments_node_type');
 }