Is this `;` here a typo?