Typos: spurious semicolons