tiny fix in porting docs I just spotted