"Can't read block from disk" when getblock w/ only header known? #9074

$ cli getblock 00000000000000000254ed1e8143f0bcd3c3564db07e7c35631e999d53e81fa7 false
error code: -32603
error message:
Can't read block from disk

In debug.log, it shows that there is no block position on disk:

2016-11-03 14:41:01 ERROR: ReadBlockFromDisk: OpenBlockFile failed for CBlockDiskPos(nFile=-1, nPos=0)

Getblockheader works:

{
  "hash": "00000000000000000254ed1e8143f0bcd3c3564db07e7c35631e999d53e81fa7",
  "confirmations": -1,
  "height": 422059,
  ...
}

Apparently my client never downloaded the full block (which makes sense, as it is stale). I guess a check needs to be added and the error message changed into something more appropriate.