diff --git a/Project.toml b/Project.toml
index c953601b..3931da94 100644
--- a/Project.toml
+++ b/Project.toml
@@ -1,7 +1,7 @@
 name = "InfiniteOpt"
 uuid = "20393b10-9daf-11e9-18c9-8db751c92c57"
 authors = ["Joshua Pulsipher and Weiqi Zhang"]
-version = "0.5.7"
+version = "0.5.8"
 
 [deps]
 AbstractTrees = "1520ce14-60c1-5f80-bbc7-55ef81b5835c"
diff --git a/README.md b/README.md
index aaaf53b1..477a906a 100644
--- a/README.md
+++ b/README.md
@@ -48,7 +48,7 @@ can be installed by entering the following in the REPL.
 ```julia
 julia> ]
 
-(v1.8) pkg> add InfiniteOpt
+(v1.9) pkg> add InfiniteOpt
 ```
 
 ## Documentation
@@ -83,7 +83,7 @@ citing it.
 A pre-print version is freely available though [arXiv](https://arxiv.org/abs/2106.12689).
 
 ## Project Status
-The package is tested against Julia `1.6` and `1.8` on Linux, Mac, and Windows.
+The package is tested against Julia `1.6` and `1.9` on Linux, Mac, and Windows.
 
 ## Contributing
 `InfiniteOpt` is being actively developed and suggestions or other forms of contribution are encouraged.
diff --git a/docs/src/index.md b/docs/src/index.md
index d98b7e17..1d27f73c 100644
--- a/docs/src/index.md
+++ b/docs/src/index.md
@@ -6,11 +6,6 @@
 A `JuMP` extension for expressing and solving infinite-dimensional optimization 
 problems.
 
-!!! note
-    `InfiniteOpt v0.5` introduces general nonlinear modeling to `InfiniteOpt`! 
-    Thus, the possibilities for applications is vast. Please see 
-    [Nonlinear Expressions](@ref nlp_guide) for more information.
-
 ## What is InfiniteOpt?
 `InfiniteOpt.jl` provides a general mathematical abstraction to express and solve 
 infinite-dimensional optimization problems (i.e., problems with decision 
@@ -79,7 +74,7 @@ capabilities from JuliaCon 2021 (note that nonlinear support has since been adde
 `InfiniteOpt.jl` is a registered `Julia` package and can be added simply by 
 inputting the following in the package manager:
 ```julia
-(v1.8) pkg> add InfiniteOpt
+(v1.9) pkg> add InfiniteOpt
 ```
 Please visit our [Installation Guide](@ref) for more details and information
 on how to get started.
diff --git a/docs/src/install.md b/docs/src/install.md
index 31ce16ff..16fd98a7 100644
--- a/docs/src/install.md
+++ b/docs/src/install.md
@@ -21,7 +21,7 @@ Julia terminal and enter the package manager:
 ```julia-repl
 julia> ]
 
-(v1.8) pkg>
+(v1.9) pkg>
 ```
 
 !!! tip
@@ -36,12 +36,12 @@ Use the `add` command in the package to manager to add the following packages:
 
 For example, to install `Distributions` we would enter:
 ```julia-repl
-(v1.8) pkg> add Distributions
+(v1.9) pkg> add Distributions
 ```
 
 Now let's install `InfiniteOpt`:
 ```julia-repl
-(v1.8) pkg> add InfiniteOpt
+(v1.9) pkg> add InfiniteOpt
 ```
 
 !!! info
@@ -51,7 +51,7 @@ Now let's install `InfiniteOpt`:
 Alternatively, we can install the current experimental version of 
 `InfiniteOpt` via:
 ```julia-repl
-(v1.8) pkg> add https://github.com/infiniteopt/InfiniteOpt.jl
+(v1.9) pkg> add https://github.com/infiniteopt/InfiniteOpt.jl
 ```
 
 ## Install Optimization Solvers
@@ -62,7 +62,7 @@ supported solvers and their corresponding Julia packages is provided in
 
 For example, we can install Ipopt which is an open-source nonlinear solver:
 ```julia-repl
-(v1.8) pkg> add Ipopt
+(v1.9) pkg> add Ipopt
 ```
 Now Ipopt can be used as the optimizer (solver) for an infinite model by running:
 ```julia-repl
@@ -86,7 +86,7 @@ form `vX.Y.Z`. You can check which versions you have installed with:
 ```julia-repl
 julia> ]
 
-(v1.8) pkg> status
+(v1.9) pkg> status
 ```
 This should almost always be the most-recent release. You can check the releases
 of a package by going to the relevant GitHub page, and navigating to the