Fix bold formatting in porting guide