Update documentation; use push port number