Editorial changes to variable names and quotation style.