Minor corrections
Minor correction, forgotten line
Minor corrections