Removes a double ;;
Improve comment