Fix type in docs.