PIE: slight style change

Change-Id: Ie46b01950596e3178e4977688e09279513fd9106