minor: semicolons