Merge pull request #665 from frank-dittrich/bleeding-jumbo

doc/ENCODINGS: 2 grammar fixes
Skip tunable cost reporting if no hashes were loaded
This fixes a possible segfault