grammar correction; style updates