Make earlier fix for getPTDecl prettier