cosmetic: removed unnecessary semicolon