minor update in portmonitor documentation