stereo_pprc: Minor touchup