Fix type in documenation