Fix bug in output of compression ratio, merge with upstream/develop