minor changes to be ready to push to GitHub