Cleaned up some double ;;