Correction to the keyword highlighting, and better formatting (smaller text).