minor fixes; documentation