Minor rewording in intro and pb statement