Minor stylistic cleanup (semicolons)