some minor inspection fixes; documentation