Minor addition to a p012 comment