--- mysql.update.sql	13:49:21.000000000 +0100
+++ mysql.update.sql	2008-04-05 22:17:37.000000000 +0100
@@ -5,7 +5,7 @@
 
 ALTER TABLE `messages`
   DROP INDEX `idx`,
-  DROP INDEX `uid`
+  DROP INDEX `uid`;
 
 ALTER TABLE `cache`
   DROP INDEX `cache_key`,