Removed an unnecessary ';'