Added a hint about the type of variable used for availablePermits.