Fix type in documentation