Fix type in documentation.