Fixes bug 1115795 - Prevented error when no dump is available.
Merge pull request #2529 from AdrianGaudebert/1115795-report-index-dump-key

Fixes bug 1115795 - Prevented error when no dump is available.