A few textual and style updates.