minor changes

(By NK)