Revert "PIE: slight style change"

This reverts commit 6c9d3f7c9c99e54a1e4cdf9d590067defbaa36c2.