Fixed a type in documentation