Minor language improvements. Sent to A&A for final pub.