Fix typo (double semicolon)