Tiny fixes; API documentation