Błąd składni MySQL w instrukcji WHILE

Procedura wygląda dobrze, chyba brakuje ogranicznika

delimiter //
CREATE PROCEDURE dowhile()
  BEGIN
   DECLARE v1 INT DEFAULT 5;
    WHILE v1 > 0 DO
     SET v1 = v1 - 1;
   END WHILE;
 END; //
delimiter ;