small edits from P&P process