[Original code deleted; see update below]