Update documentation
Use Int instead of Int32 for process ids