Correct statistics for pool

Calculation of percentage of used addresses has been way off as 'used /
free' was used rather than 'used / total'. Don't know how that got in
there - brainfart probably :(

Fixes #553.