minor rewrites here and there, title