Smaller changes in code and in man pages.