RMS: sorry for the duplicate; I had forgotten to send to the list as
well.