Slightly more correct documentation