Revert "PIE: slight style change"

This reverts commit d03dfa24e451a0277cebe6ff2e1b8c84638cbb2a.