updated db from live site; fixed banned null value in db.lemmas