What is this `;` doing here?