Avoid theoretical possibility of Pcmin being used uninitialized