Add semicolons to php code-block in source distribution instructions