Inconsistent use of `;`