some tiny modifications of style