Minor changes in preparation for first release on Google Play store.