The previous comments were incorrect; corrected.