Just a small typo fix.

Fixed the grammar of cnf-lookup output.