Another minor modifications (comments etc).