Typographical errors have been silently corrected.