Minor changes of style