Remove the second `;`