fix port doco

fixes #508