Added some cosmetic improvements, explanatory note