spaces after `;`