Tweaks to porting guide