Add missing semicolons to keep Eclipse happy