Changes for moving to GitHub for source code and issue management.
Minor updates