[#153]Improve error messages from negative results of verification.