Correcting pool manager bug