minor corrections
see last commit