Ensure that the numbers of pools is at least 1.
Add missing include file.