fixed k best warning.
print info when no derivations are found.