Very minor clean-up of PPS attachInterrupt related code