Title fixes
Modified prob-definition.tex
Minor fixes