Editor-3.1 Minor corrections