Commiting a minor touchup (very minor) to the portable pi header.