minor fixes; updated version