a few refinements and comments