Ditto the `;`