pstops.1: minor tweak from Peter Breitenlohner