<website>: A few tweaks in the KLEE tables.