Wording changes

changed "semi-definity" to "semi-definite"