Fix type in doc