Clean up part of the pie writeup