Fix double ;;