I think I've seen such errors, but I am not sure. Unlikely this error is somehow related to ```p```'s definition. Maybe someone knows more about these build errors. This style issue is not very important in my opinion, so I think we can merge it as it is.