Tested check-pfinal locally. Hope this is enough