Removed a probably unnecessary ';'