freeminer/freeminer — pull request #162 by donat-b (2014-12-08 16:50:29+00:00)
Title: Use better names for stats

This is a quick fix I came up with.