Help us out by removing the duplicate `;`