Fixed sytax of installation annotation in migration example