Integrated a few remarks by Pettit