Minor tweaks
Fix port in docker links post