tweaking the language, massaging the hideous formatting