Correct state in old docuent for display in github only.