Fixed some types in documentation