Fix description for field function in database.ml