Updated version number; fixed a bug in statistics