Correct port in docs
Minor tweaks in the dev docs