I'd add `;`