[minor] Spurious `;`?