version 1.4.0 release, cosmetic changes in comments